Font Settings
Click Font Settings to open the Format Text dialog box, where the font and font size of the text in the VectorScript Editor window can be changed. Changes to the text formatting apply to all of the text in the Editor (formatting a selection of text is not possible).

VectorScript Development Tools : The VectorScript Editor : Font Settings

Nemetschek NA
Phone: 410.290.5114
Fax: 410.290.8050